ar X iv : m at h / 99 04 11 7 v 3 [ m at h . D G ] 2 3 A pr 1 99 9 ASSIGNMENTS AND ABSTRACT MOMENT MAPS

نویسنده

  • YAEL KARSHON
چکیده

Abstract moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this paper we answer the question of existence of a (proper) abstract moment map for a torus action and give a necessary and sufficient condition for an abstract moment map to be associated with a pre-symplectic form. This is done by using the notion of an assignment, which is a combinatorial counterpart of an abstract moment map. Finally, we show that the space of assignments fits as the zeroth cohomology in a series of certain cohomology spaces associated with a torus action on a manifold. We study the resulting “assignment cohomology” theory.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : m at h / 99 04 11 7 v 2 [ m at h . D G ] 2 2 A pr 1 99 9 ASSIGNMENTS AND ABSTRACT MOMENT MAPS

Abstract moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this ...

متن کامل

ar X iv : m at h / 99 04 11 7 v 1 [ m at h . D G ] 2 1 A pr 1 99 9 ASSIGNMENTS AND ABSTRACT MOMENT MAPS

Abstract moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this ...

متن کامل

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Predicate abstraction has emerged to be a powerful technique for extracting finite-state models from infinitestate discrete programs. This paper presents algorithms and tools for reachability analysis of hybrid systems by combining the notion of predicate abstraction with recent techniques for approximating the set of reachable states of linear systems using polyhedra. Given a hybrid system and...

متن کامل

Eecient and Precise Sharing Domains for Logic Programs

interpretation [8, 9] formalizes program analysis as approximate computation. Instead of executing a program with data, it is executed with descriptions of the data. In our case, this means that logic programs are executed with abstract substitutions instead of concrete substitutions. Concrete and abstract substitutions are related by a description relation. To every operation on the concrete s...

متن کامل

Docteur De L’école Polytechnique En Informatique

operators To verify Aμ-formulas, we need to abstract the operators. For each p in Π, let π(p) be an element of P ] such that π(p) ⊆ γ(π(p)), and π(p) an element of P ] such that Σ\π(p) ⊆ γ(π(p)). For each subset I of P, we define the abstract controllable predecessor relation CPre]I ∈ P ] → P ] and the abstract uncontrollable predecessor relation UPre ] I ∈ P ] → P . These relations must satisf...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999